Особенности использования кодов Хэмминга при синтезе самопроверяемых цифровых устройств на основе метода инвертирования данных

1. Рабочее диагностирование безопасных информационно-управляющих систем / А. В. Дрозд, В. С. Харченко, С. Г. Антощук и др.; под ред. А. В. Дрозда, В. С. Харченко. Харьков: Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ", 2012. 614 с.
Drozd A. V. (auth., ed.), Kharchenko V. S. (auth., ed.), Antoshchuk S. G., Drozd Yu. V., Drozd M. A., Sulima Yu. Yu. Objects and methods of online testing for safe instrumentation and control systems. Khar’kov, National Aerospace University “Kharkiv Aviation Institute”, 2012. 614 p. (In Russian).

2. Green IT engineering: Concepts, models, complex systems architectures / eds V. Kharchenko, Yu. Kondratenko, J. Kacprzyk. Cham: Springer, 2017. XIV, 305 p. DOI: 10.1007/978-3-319-44162-7

3. Ефанов Д. В., Погодина Т. С. Исследование свойств самодвойственных комбинационных устройств с контролем вычислений на основе кодов Хэмминга // Информатика и автоматизация. 2023. Т. 22. № 2. C. 349-392. -. DOI: 10.15622/ia.22.2.5 EDN: FGQINF
Efanov D., Pogodina T. Properties investigation of self-dual combinational devices with calculation control based on Hamming codes. Informatika i avtomatizatsiya = Informatics and Automation, 2023, vol. 22, no. 2, pp. 349–392. (In Russian). https://doi.org/10.15622/ia.22.2.5

4. Reynolds D. A., Metze G. Fault detection capabilities of alternating logic // IEEE Transactions on Computers. 1978. Vol. C-27. Iss. 12. P. 1093-1098. DOI: 10.1109/TC.1978.1675011

5. Яблонский С. В. Введение в дискретную математику. 4-е изд., стер. М.: Высш. шк., 2003. 384 с. EDN: QJLZCB
Yablonskiy S. V. Introduction to discrete mathematics. 4th print. Moscow, Vyssh. shk. Publ., 2003. 384 p. (In Russian).

6. Аксёнова Г. П. Восстановление в дублированных устройствах методом инвертирования данных // Автомат. и телемех. 1987. № 10. С. 144-153.
Aksyonova G. P. Restoration in duplicated units by the method of data inversion. Avtomat. i telemekh. = Autom. and Remote Control, 1987, no. 10, pp. 144–153. (In Russian).

7. Гессель М., Мошанин В. И., Сапожников В. В., Сапожников Вл. В. Обнаружение неисправностей в самопроверяемых комбинационных схемах с использованием свойств самодвойственных функций // Автомат. и телемех. 1997. № 12. С. 193-200. EDN: YZRWPL
Goessel M., Moshanin V. I., Sapozhnikov V. V., Sapozhnikov Vl. V. Fault detection in self-test combination circuits using the properties of self-dual functions. Avtomat. i telemekh. = Autom. Remote Control, 1997, no. 12, pp. 193–200. (In Russian).

8. Saposhnikov Vl. V., Dmitriev A., Goessel M., Saposhnikov V. V. Self-dual parity checking - A new method for on-line testing // Proceedings of 14th VLSI Test Symposium. Princeton, NJ: IEEE, 1996. P. 162-168. DOI: 10.1109/VTEST.1996.510852 EDN: RQNSAP

9. Гессель М., Дмитриев А. В., Сапожников В. В., Сапожников Вл. В. Самотестируемая структура для функционального обнаружения отказов в комбинационных схемах // Автомат. и телемех. 1999. № 11. С. 162-174. EDN: OKENAD
Goessel M., Dmitriev A. V., Sapozhnikov V. V., Sapozhnikov Vl. V. A self-testable structure for functional fault detection in combination circuits. Avtomat. i telemekh. = Autom. Remote Control, 1999, no. 11, pp. 162–174. (In Russian).

10. Гессель М., Дмитриев А. В., Сапожников В. В., Сапожников Вл. В. Обнаружение неисправностей в комбинационных схемах с помощью самодвойственного контроля // Автомат. и телемех. 2000. № 7. С. 140-149. EDN: OFOAVF
Goessel M., Dmitriev A. V., Sapozhnikov V. V., Sapozhnikov Vl. V. Detection of faults in combinational circuits by a self-dual test. Autom. Remote Control, 2000, vol. 61, iss. 7, pp. 1192–1200.

11. Saposhnikov V. V., Moshanin V., Saposhnikov Vl. V., Goessel M. Experimental results for self-dual multi-output combinational circuits // Journal of Electronic Testing. 1999. Vol. 14. Iss. 3. P. 295-300. https://doi.org/10.1023/A:1008370405607. EDN: LFRWXV

12. Гессель М., Дмитриев А. В., Сапожников В. В., Сапожников Вл. В. Исследование свойств самодвойственных самопроверяемых многотактных схем // Автомат. и телемех. 2001. № 4. С. 148-159. EDN: ODWNLL
Gessel’ M., Dmitriev A. V., Sapozhnikov V. V., Sapozhnikov Vl. V. Self-dual self-testing multicycle circuits: Their properties. Autom. Remote Control, 2001, vol. 62, iss. 4, pp. 642–652. https://doi.org/10.1023/A:1010245914985

13. Сапожников В. В., Сапожников Вл. В., Гессель М. Самодвойственные дискретные устройства. СПб.: Энергоатомиздат. С.-Петерб. отд-ние, 2001. 330 с. EDN: TZFCWL
Sapozhnikov V. V., Sapozhnikov Vl. V., Goessel M. Self-dual discrete devices. St. Petersburg, Energoatomizdat. S.-Peterb. otd-nie Publ., 2001. 330 p. (In Russian).

14. Сапожников В. В., Сапожников Вл. В., Валиев Р. Ш. Синтез самодвойственных дискретных систем. СПб.: Элмор, 2006. 220 с. EDN: QMQCNP
Sapozhnikov V. V., Sapozhnikov Vl. V., Valiev R. Sh. Synthesis of self-dual discrete systems. St. Petersburg, Elmor Publ., 2006. 220 p. (In Russian).

15. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New methods of concurrent checking. Dordrecht: Springer Science+Business Media B. V., 2008. VIII, 182 p. DOI: 10.1007/978-1-4020-8420-1

16. Self-dual complement method up to constant-weight codes for arrangement of combinational logical circuits concurrent error-detection systems / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov et al. // 2019 IEEE East-West Design & Test Symposium (EWDTS). Batumi: IEEE, 2019. P. 136-143. DOI: 10.1109/EWDTS.2019.8884398 EDN: GXLEWV

17. Efanov D. V., Pivovarov D. V. The hybrid structure of a self-dual built-in control circuit for combinational devices with pre-compression of signals and checking of calculations by two diagnostic parameters // 2021 IEEE East-West Design & Test Symposium (EWDTS). Batumi: IEEE, 2021. P. 200-206. DOI: 10.1109/EWDTS52692.2021.9581019 EDN: HMIWTK

18. Hamming R. W. Error detecting and correcting codes // Bell System Technical Journal. 1950. Vol. 29. Iss. 2. P. 147-160. DOI: 10.1002/j.1538-7305.1950.tb00463.x

19. Согомонян Е. С., Слабаков Е. В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989. 208 с.
Sogomonyan E. S., Slabakov E. V. Self-checking devices and fault-tolerant systems. Moscow, Radio i Svyaz’ Publ., 1989. 208 p. (In Russian).

20. Tshagharyan G., Harutyunyan G., Shoukourian S., Zorian Y. Experimental study on Hamming and Hsiao codes in the context of embedded applications // 2017 IEEE East-West Design & Test Symposium (EWDTS). Novi Sad: IEEE, 2017. P. 25-28. DOI: 10.1109/EWDTS.2017.8110065

21. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Коды Хэмминга в системах функционального контроля логических устройств. СПб.: Наука, 2018. 151 с. EDN: VSFGDG
Sapozhnikov V. V., Sapozhnikov Vl. V., Efanov D. V. Hamming сodes in concurrent error detection systems of logic devices. St. Petersburg, Nauka Publ., 2018. 151 p. (In Russian).

22. Stempkovsky A. L., Zhukova T. D., Telpukhov D. V., Gurov S. I. CICADA: A new tool to design circuits with correction and detection abilities // 2021 International Siberian Conference on Control and Communications (SIBCON). Kazan: IEEE, 2021. P. 1-5. DOI: 10.1109/SIBCON50419.2021.9438900 EDN: PPQWLP

23. Тельпухов Д. В., Жукова Т. Д., Щелоков А. Н., Кретинина П. Д. Применение кода Хэмминга в задаче повышения сбоеустойчивости комбинационных схем // Изв. ЮФУ. Технические науки. 2021. № 4 (221). С. 220-231. -. DOI: 10.18522/2311-3103-2021-4-220-231 EDN: NLBWML
Telpukhov D. V., Zhukova T. D., Schelokov A. N., Kretinina P. D. Application of the Hamming code in the problem of increasing fault tolerance of logic circuits. Izv. YuFU. Tekhnicheskiye nauki = Izv. SFedU. Engineering Sciences, 2021, no. 4 (221), pp. 220–231. (In Russian). https://doi.org/10.18522/2311-3103-2021-4-220-231

24. Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000. 780 c. EDN: WGUIIZ
Shalyto A. A. Logical control. Methods for hardware and software implementation of algorithms. St. Petersburg, Nauka Publ., 2000. 780 p. (In Russian).
 
25. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Основы теории надежности и технической диагностики: учебник. СПб.: Лань, 2019. 588 с. EDN: IZBJPZ
Sapozhnikov V. V., Sapozhnikov Vl. V., Efanov D. V. Fundamentals of reliability theory and technical diagnostics, textbook. St. Petersburg, Lan’ Publ., 2019. 588 p. (In Russian).

26. Fujiwara E. Code design for dependable systems: Theory and practical applications. Hoboken, NJ: John Wiley & Sons, 2006. 720 p.

27. Hamming R. W. Coding and information theory. 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1985. 259 p.